منابع مشابه
Lines Pinning Lines
A line ` is a transversal to a family F of convex polytopes in R if it intersects every member of F . If, in addition, ` is an isolated point of the space of line transversals to F , we say that F is a pinning of `. We show that any minimal pinning of a line by polytopes in R such that no face of a polytope is coplanar with the line has size at most eight. If in addition the polytopes are pairw...
متن کاملProduct Lines of Product Lines
A Software Product Line (SPL) is a set of related programs. A SPL of a SPL (SPL), or a product line of a product line, is a fundamental scaling of product line concepts. A member of a SPL is not a program, but a SPL. The idea recurses: a SPL is a SPL of a SPL, and so on. The depth of recursion is the rank of the product line. We present an algebra to understand and build feature-based product l...
متن کاملTransmission Lines Transmission Lines Fabric Port
We describe our experiences verifying real communications hardware using machine-assisted proof. In particular we re ect on the errors found, problems encountered and the bottlenecks that slowed the progress of the proofs. We also note techniques which would alleviate the problems. Most of the problems we discuss only become signi cant when large designs are veri ed.
متن کاملLines and Osculating Lines of Hypersurfaces
This is a detailed study of the infinitesimal variation of the varieties of lines and osculating lines through a point of a low degree hypersurface in projective space. The motion is governed by a system of partial differential equations which we describe explicitly.
متن کاملMees' Lines
There are different nail manifestations of systemic diseases. This case represents Mees' lines. In the current report, this phenomenon was caused by chemotherapy agents used for treatment of leukemia. It was caused by medication insult to the nail matrix. Nonblanching and impalpable nail bands, migration with the nail growth, and thumb involvement differentiate Mees' from Beau's and Muehrcke's ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: QJM: An International Journal of Medicine
سال: 2017
ISSN: 1460-2725,1460-2393
DOI: 10.1093/qjmed/hcx122